proof by deduction